1. MWB
  2. Vertalen
  3. theorem prover (EN>DE)
Vertaal
Vertalingen theorem prover EN>DE
theorem prover Beweisfindungsverfahren ; Theorembeweise
Bron: Download IATE, European Union, 2017.

Voorbeeldzinnen met `theorem prover`
Voorbeeldzinnen laden....